#include<stdio.h>
void main()
{
	double a[9];
	int i;
	for(i=0;i<9;i++)
	{
		scanf("%lf",&a[i]);
	}
	double max=a[0],min=a[0],sum=0,average;
	for(i=0;i<9;i++)
	{
		if(max<a[i])
		{
			max=a[i];
		}
		if(min>a[i])
		{
			min=a[i];
		}
		sum=sum+a[i];
	}
	average=(sum-max-min)/7;
	printf("%lf",average);
}
